What does "temporal logic" mean?

A form of symbolic logic used to reason about properties of statements related to order and duration.

Temporal logic

Common synonyms include: chronological, dynamic logic, temporal calculus, time based logic, time logic, time semantics.

noun

noun ·Rare ·Advanced level

Noun

1
A form of symbolic logic used to reason about properties of statements related to order and duration. countable, uncountable